$\forall$$T$:Type, $x$:$T$, $l$:$T$ List. ($\forall$$y$:$T$. Dec($x$ $=$ $y$)) $\Rightarrow$ Dec(($x$ $\in$ $l$))